disproving a statement by counter-example